Dale Miller - PDFSEARCH.IO - Document Search Engine

Dale Miller
Results: 57

#	Item
11	ERC Advanced Grant 2011 Technical Description1 Broad Spectrum Proof Certificates ProofCert Principal Investigator: Dale Miller Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2012-07-31 08:09:29
12	Focused labeled proof systems for modal logic Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France Abstract. Focused proofs are sequent calculus proofs that group inference rules into alternating pos Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2015-11-06 10:54:47
13	Foundational Proof Certificates Making proof universal and permanent Dale Miller ´ INRIA-Saclay & LIX, Ecole Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2013-09-23 15:11:27
14	ProofCert: Broad Spectrum Proof Certificates Dale Miller ´ INRIA-Saclay & LIX, Ecole Polytechnique Palaiseau, France Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2012-01-17 01:38:04
15	JulyProof Search Foundations for Logic Programming Dale Miller Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2003-07-09 12:54:19
16	From proofs to focused proofs: a modular proof of Focalization in Linear Logic Dale Miller and Alexis Saurin ´ INRIA & LIX/Ecole Polytechnique, Palaiseau, France Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2007-06-19 00:00:11
17	Representing and reasoning with operational semantics Dale Miller ´ INRIA & LIX, Ecole Polytechnique Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2006-06-08 04:55:11
18	Intuitionistic Control Logic Chuck Liang Hofstra University Hempstead, NY Dale Miller Add to Reading List Source URL: www.cs.hofstra.edu Language: English - Date: 2012-03-02 00:43:39
19	Combining generic judgments with recursive definitions Andrew Gacek Department of CS&E University of Minnesota Dale Miller Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2008-04-11 18:46:54
20	On focusing and polarities in linear logic and intuitionistic logic Chuck Liang Hofstra University Hempstead, NY Dale Miller Add to Reading List Source URL: www.cs.hofstra.edu Language: English - Date: 2008-03-19 21:27:50

UPDATE